Semenov A. A. «ABOUT TSEITIN TRANSFORMATION IN LOGICAL EQUATIONS » // 2009. №4(6) C.28-50
Bespalov D.V. , Hmelnov A.E. , Zaikin O.S. , Burov P.S. , Semenov A.A. «ANALYSIS OF SOME CRYPTOGRAPHIC PRIMITIVES ON COMPUTER CLUSTERS » // 2008. №2(2) C.120-130